翻訳と辞書
Words near each other
・ Sequenced Packet Exchange
・ SequenceL
・ Sequenceome
・ Sequencer
・ Sequencer (Covenant album)
・ Sequences Art Festival
・ SequenceVariantAnalyzer
・ Sequencia
・ Sequencing
・ Sequencing batch reactor
・ Sequencing by hybridization
・ Sequencing by ligation
・ Sequencing fountain
・ Sequenom
・ Sequent
Sequent (disambiguation)
・ Sequent (MUD)
・ Sequent calculus
・ Sequent Computer Systems
・ Sequentia (music group)
・ Sequential access
・ Sequential access memory
・ Sequential algorithm
・ Sequential analysis
・ Sequential art
・ Sequential bilingualism
・ Sequential Circuits
・ Sequential Circuits Prophet 2000
・ Sequential Circuits Prophet-5
・ Sequential Circuits Six-Trak


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Sequent (disambiguation) : ウィキペディア英語版
Sequent (disambiguation)

A sequent is a formalized statement of provability that is used within sequent calculus as the primary focus of a body of proof theory for mathematical logic.
Sequent may also refer to:
* Sequent (MUD), text-based online game software
* Sequent Computer Systems, a defunct computer hardware company


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Sequent (disambiguation)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.